"A quarry is a type of open-pit mine in which dimension stone, rock, construction aggregate, riprap, sand, gravel, or slate is excavated from the ground.
The word ...
[Read more]
quarry can also include the underground quarrying for stone, such as Bath stone." - (en.wikipedia.org 03.12.2019)